- structural type equivalence
- strukturalna zgodność typów
English-Polish dictionary for engineers. 2013.
structural type equivalence
Look at other dictionaries:
Structural type system — A structural type system is a major class of type system, in which type compatibility and equivalence are determined by the type s structure, and not through explicit declarations. Structural systems are used to determine if types are equivalent … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Systeme structural de types — Système structural de types En Programmation informatique, un système structurel de types est une classe majeure de système de types, dans laquelle la compatibilité et l équivalence de type est déterminée par la structure du type et non par des… … Wikipédia en Français
Système structural de types — En Programmation informatique, un système structurel de types est une classe majeure de système de types, dans laquelle la compatibilité et l équivalence de type est déterminée par la structure du type et non par des déclarations explicites. On… … Wikipédia en Français
Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
FORME — L’histoire du concept de forme et des théories de la forme est des plus singulières. Nous vivons dans un monde constitué de formes naturelles. Celles ci sont omniprésentes dans notre environnement et dans les représentations que nous nous en… … Encyclopédie Universelle
TOPOLOGIE - Topologie algébrique — Inventée au début du XXe siècle pour résoudre des problèmes géométriques, la topologie algébrique connut un grand développement grâce à l’introduction de constructions algébriques de plus en plus abstraites. Pour clarifier l’exposé, on a… … Encyclopédie Universelle
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
GÉOMÉTRIE ALGÉBRIQUE — Sous sa forme actuelle, la géométrie algébrique est une branche de l’algèbre relativement récente (cf. ALGÈBRE, DEDEKIND). Pour «comprendre» les phénomènes d’intersection des courbes et des surfaces, il s’est révélé nécessaire d’élaborer des… … Encyclopédie Universelle
STRUCTURE ET FONCTION — L’étude de la relation entre les structures et les fonctions est au cœur même de la biologie. Cette relation s’exprime chez les êtres vivants par l’adaptation des premières aux secondes et pose une série de problèmes absolument fondamentaux,… … Encyclopédie Universelle
